The blockchain trilemma descibed by a formula